home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.UI;
- import java.awt.Font;
- import java.awt.Insets;
- import javax.swing.JTextArea;
- import javax.swing.text.JTextComponent;
-
- public class CommentText extends JTextArea {
- public CommentText(boolean var1) {
- ((JTextComponent)this).setMargin(new Insets(3, 3, 3, 3));
- ((JTextComponent)this).setEditable(!var1);
- Font var2 = UI.getSrcFont();
- if (var2 != null) {
- ((JTextArea)this).setFont(var2);
- }
-
- }
- }
-